منابع مشابه
Planificadores de tareas en Tiempo Real Concurrentes: Una Clasificación basada en Funciones y Teoría de Conjuntos
Real-Time Operating Systems must provide support for concurrency; to achieve this, task schedulers are necessary. Schedulers operate on a set of concurrent real-time tasks in which its instances are to complete their execution within their respective deadlines; a scheduler receives a set of arrival times and maps it to a set of start times for the instances to begin their execution. In this con...
متن کاملEDROOM, Herramienta Libre de Modelado y Generación Automática de Código para Sistemas de Tiempo Real
Resumen. El desarrollo de sistemas de tiempo real es una tarea de considerable complejidad. Desde el área de la ingenieŕıa del software se han propuesto, en las últimas décadas, diversos lenguajes de modelado que pretenden facilitar el proceso de desarrollo. Los modelos de los sistemas aśı obtenidos se basan en formalismos, estructuras o diagramas que proporcionan un nivel de abstracción adecua...
متن کاملSistema de Procesamiento Digital de la Voz en el Dominio del Tiempo y la Frecuencia
l sistema que se presenta inicializa con la digitalización de la señal eléctrica reproducida por un micrófono. La señal eléctrica es previamente transformada de una entrada analógica a una señal digital, para que posteriormente se realice el procesamiento sintético con el apoyo de un procesador DSP. Las técnicas digitales con el DSP facilitan sumamente el procesamiento de señales en tiempo real...
متن کاملThe Descartes Rule of Sweeps and the Descartes Signature
The Descartes Rule of Signs, which establishes a bound on the number of positive roots of a polynomial with real coefficients, is extended to polynomials with complex coefficients. The extension is modified to bound the number of complex roots in a given direction on the complex plane, giving rise to the Descartes Signature of a polynomial. The search for the roots of a polynomial is sometimes ...
متن کاملArithmetic Multivariate Descartes' Rule Arithmetic Multivariate Descartes' Rule
Let L be any number field or p-adic field and consider F := (f1, . . . , fk) where fi∈L[x ±1 1 , . . . , x ±1 n ]\{0} for all i and there are exactlym distinct exponent vectors appearing in f1, . . . , fk. We prove that F has no more than 1+ ( σm(m− 1)2n2 logm )n geometrically isolated roots in Ln, where σ is an explicit and effectively computable constant depending only on L. This gives a sign...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Enrahonar. Quaderns de filosofia
سال: 1999
ISSN: 2014-881X,0211-402X
DOI: 10.5565/rev/enrahonar.1061